Validation Of Unstable Discrete Event Models
نویسنده
چکیده
Logistic systems can be designed as a push-system or a pull-system. In a pull-system one parameter e.g. the stock items has to be close-loop controlled. It will be shown that the close-loop controlled model can work in an unstable manner like a “logistic oscillating circuit”. In comparison with a close-loop controlled electronic system the elements of a logistic system have relatively long dead times. In discrete event simulation there is no method to optimally calculate the parameters of the system also taking account of the dead times. Furthermore, there is no validation technique to date, which can determine the unstable behavior of the system. In many different areas of engineering the FFTanalysis is a frequently used method. It will be shown that the FFT analysis is a suitable method to determine the unstable behaviour of discrete event simulation models. However, FFT analysis is only a method to determine the unstable behaviour; the elimination can only be done by trial and error.
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملAn Adaptive Approach to Increase Accuracy of Forward Algorithm for Solving Evaluation Problems on Unstable Statistical Data Set
Nowadays, Hidden Markov models are extensively utilized for modeling stochastic processes. These models help researchers establish and implement the desired theoretical foundations using Markov algorithms such as Forward one. however, Using Stability hypothesis and the mean statistic for determining the values of Markov functions on unstable statistical data set has led to a significant reducti...
متن کاملAn architecture of effective discrete-event simulation engine for early validation of avionics systems
Nowadays models which are used in the avionics (aviation electronics) development are large and can contain complex behaviour specifications, especially on early stages. This leads to high requirements to simulators which are used for such models analyses. Existing open-source simulators are not applicable or not effective in application on such models. An architecture of a discrete-event simul...
متن کاملConcurrent control on resource planning and revenue/expenditure estimation in large-scale shell material embankment projects management using discrete-event simulation
Resource planning in large-scale construction projects has been a complicated management issue requiring mechanisms to facilitate decision making for managers. In the present study, a computer-aided simulation model is developed based on concurrent control of resources and revenue/expenditure. The proposed method responds to the demand of resource management and scheduling in shell material emb...
متن کامل